Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m21c/2019/07.29.10.34.08-0:en:title:2:model probabilistic checking systems:feasibility probabilistic model checking analyze battery sustained power supply systems:>.
5 referências similares encontradas (inclusive a original) buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 30/04/2024 20:15.
On the feasibility of probabilistic model checking to analyze battery sustained power supply systems
Dioto, M.; Eras, E. R.; Santiago Júnior, V. A.
Artigo em Evento - sem Qualis - 2019 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00 		 
  

Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking
Passa, G. D.; Santiago Júnior, V. A.
Capítulo de Livro - sem Qualis - 2021 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.29 		 
  

SEU mitigation for SRAM FPGAs: a comparison via probabilistic model checking
Pereira, V. C.; Santiago Júnior, V. A.; Manea, S.
Artigo em Evento - sem Qualis - 2017 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.23 		 
  

Model Checking Probabilístico para comparação de técnicas de mitigação de SEU em FPGAs
Pereira, V. C.; Santiago Júnior, V. A.
Artigo em Evento - sem Qualis - 2017 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.18 		 
  

Model checking probabilístico para apoiar a mitigação de evento de falta única em Field Programmable Gate Arrays (FPGAs)
Pereira, V. C.
Tese ou Dissertação - sem Qualis - 2018 - Como citar? - BibTeX - acessar - Similaridade: 0.14